Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
31	451 Documenta Math. Fermion Correlation Inequalities Derived from G- and P-Conditions Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-09-26 18:29:45 Secondary measure Holomorphic functional calculus
32	A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function
33	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
34	Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Lambda calculus Subroutines Functional languages Literate programming Monad Let expression Glasgow Haskell Compiler Anonymous function
35	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-01-13 17:46:38 Software engineering Computer programming Computing Subroutines Functional languages Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope
36	Keyword and Optional Arguments in PLT Scheme Matthew Flatt Eli Barzilay University of Utah and PLT Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-28 05:09:28 Software engineering Computer programming Programming language theory Object-oriented programming languages Subroutines Functional languages Cross-platform software Lambda calculus Scheme Parameter Lisp Dylan
37	02157 Functional ProgrammingFunctional Programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:57:52 Software engineering Computer programming Computing Functional programming Data types Control flow Eval Lambda calculus Subroutines Interpreter Higher-order function ECL programming language
38	Microsoft PowerPoint - lecture-oop3-sp05v3.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-17 08:38:22 Software engineering Lambda calculus Anonymous function Functional programming Subroutines Computing Computer programming
39	Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United Kingdom Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-02-14 20:56:25 Software engineering Declarative programming Computer programming Functional programming Monad Evaluation strategy Lambda calculus Adjoint functors Haskell Type class Ur
40	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment Add to Reading List Source URL: krisrose.net Language: English - Date: 2015-09-22 13:54:54 Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic

UPDATE